41. Approximation and online algorithms : first international workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003 : revised papers
پدیدآورنده : Klaus Jansen, Roberto Solis-Oba )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Online algorithms,Congresses ، Mathematical optimization
رده :
QA
76
.
L28
Vol
.
2909
42. Approximation and online algorithms : second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004 : revised selected papers
پدیدآورنده : Giuseppe Persiano, Roberto Solis-Oba )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Online algorithms,Congresses ، Mathematical optimization
رده :
QA
76
.
L28
Vol
.
3351
43. Approximation, randomization, and combinatorial optimization :
پدیدآورنده : Anupam Gupta [and others] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity, Congresses,Mathematical optimization, Congresses
44. Approximation, randomization and combinatorial optimization
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Statistical methods ; Congresses. ; Computer algorithms ; Congresses. ;
45. Approximation, randomization, and combinatorial optimization
پدیدآورنده : Prasad Raghavendra [and 3 others] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Approximation algorithms, Congresses,Computer algorithms, Congresses,Computer science-- Statistical methods, Congresses
رده :
QA75
.
5
.
I643
2013
46. Approximation, randomization, and combinatorial optimization: algorithms and techniques: 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001, Berkeley, CA, USA, August 18-20, 2001, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer science-- Statistical methods
رده :
QA
75
.
5
.
I643
2001
47. Approximation, randomization, and combinatorial optimization : algorithms and techniques : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001, Berkeley, CA, USA, August 2001, proceedings
پدیدآورنده : Michel Goemans ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Statistical methods -- Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2129
48. Approximation, randomization, and combinatorial optimization : algorithms and techniques : 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003, and 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, Princeton, NJ, USA, August 24-26, 2003 : proceedings
پدیدآورنده : Sanjeev Arora ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Statistical methods -- Congresses ، Computer science,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2764
49. Approximation, randomization, and combinatorial optimization : algorithms and techniques : 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, cambridge, MA, USA, August 22-24, 2004 : proceedings
پدیدآورنده : Klaus Jansen...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Statistical methods -- Congresses ، Computer science,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3122
50. Approximation, randomization, and combinatorial optimization : algorithms and techniques : 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005, and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005 : proceedings
پدیدآورنده : Chandra Chekuri....]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Statistical methods -- Congresses ، Computer science,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3624
51. Asymptotic and Numerical Methods for Partial Differential Equations with Critical Parameters
پدیدآورنده : edited by Hans G. Kaper, Marc Garbey, Gail W. Pieper.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Decomposition (Mathematics) -- Congresses.,Differential equations, Partial -- Asymptotic theory -- Congresses.,Differential equations, Partial -- Numerical solutions -- Congresses.
52. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
53. Automata, languages, and programming :
پدیدآورنده : edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
54. Combinatorial Algorithms
پدیدآورنده : \ Zsuzsanna Lipták, William F. Smyth (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computer algorithms -- Congresses,آنالیز ترکیبی -- کنگرهها,الگوریتمهای کامپیوتری -- کنگرهها
رده :
QA
164
.
I58
C6
2016
E-Book
,
55. Combinatorial algorithms :
پدیدآورنده : edited by Ljiljana Brankovic, Joe Ryan, William F. Smyth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis, Congresses.,Computer algorithms, Congresses.,Algorithms & data structures.,Algorithms.,Artificial intelligence.,Artificial intelligence.,Computer science-- Mathematics.,Computer science.,Computer security.,Computer security.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Data structures (Computer science),Discrete mathematics.,Mathematical theory of computation.,Numerical analysis.
رده :
QA76
.
9
.
M35
56. Combinatorial optimization and applications :
پدیدآورنده : Donghyun Kim, R.N. Uma, Alexander Zelikovsky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial optimization-- Data processing, Congresses.,Computer science-- Mathematics, Congresses.,Mathematical optimization, Congresses.,Computational complexity.,Computer network architectures.,Computer science.,Computer software.,Electronic data processing.
رده :
QA402
.
5
.
C5423
2017
57. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
58. Computer science -- theory and applications :
پدیدآورنده : René van Bevern, Gregory Kucherov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer science, Congresses.,Computer algorithms.,Computer science.
رده :
QA75
.
5
59. Conceptual and Numerical Analysis of Data :
پدیدآورنده : edited by Otto Optiz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Content analysis (Communication) -- Congresses.,Mathematical statistics -- Congresses.,Statistics.
60. Concrete operators, spectral theory, operators in harmonic analysis and approximation :
پدیدآورنده : edited by Manuel Cepedello Boiso, Håkan Hedenmalm, Marinus A. Kaashoek, Alfonso Montes Rodriguez, Sergei Treil
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Approximation theory, Congresses,Harmonic analysis, Congresses,Operator theory, Congresses,Spectral theory (Mathematics), Congresses
رده :
QA329